- верификация учётом ошибок
- Верификация прогноза путём выявления и учёта источников регулярных ошибок прогноза
Политехнический терминологический толковый словарь. Составление: В. Бутаков, И. Фаградянц. 2014.
Политехнический терминологический толковый словарь. Составление: В. Бутаков, И. Фаградянц. 2014.
Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… … Википедия
Тестирование программного обеспечения — Разработка программного обеспечения Процесс разработки ПО Шаги процесса Анализ • Проектирование • Программирование • Докумен … Википедия
Валидация — (Validation) Содержание Содержание 1. ISO 2. Чем отличается валидация от верификации? 3. Валидация документов 4. Валидация XML и XHTML 5. GMP валидация 6. Что такое валидация ИПДО? Валидация – это придание законной силы, утверждение,… … Энциклопедия инвестора
ГОСТ Р ИСО/МЭК 19762-1-2011: Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 1. Общие термины в области АИСД — Терминология ГОСТ Р ИСО/МЭК 19762 1 2011: Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 1. Общие термины в области АИСД оригинал документа: Accredited Standards… … Словарь-справочник терминов нормативно-технической документации
Р 50.1.048-2004: Информационно-телекоммуникационные игровые системы. Термины и определения — Терминология Р 50.1.048 2004: Информационно телекоммуникационные игровые системы. Термины и определения: 2.3.25 адаптивное сопровождение: Изменение программного продукта после поставки, обеспечивающее его работоспособное состояние в измененных… … Словарь-справочник терминов нормативно-технической документации
Верифицируемость — В различных сферах деятельности человека под верификацией могут подразумеваться немного различные вещи. Например: Верификация (от лат. verus истинный, facere делать) это подтверждение соответствия конечного продукта предопределённым эталонным… … Википедия
Доказуемость — В различных сферах деятельности человека под верификацией могут подразумеваться немного различные вещи. Например: Верификация (от лат. verus истинный, facere делать) это подтверждение соответствия конечного продукта предопределённым эталонным… … Википедия
Проверяемость — В различных сферах деятельности человека под верификацией могут подразумеваться немного различные вещи. Например: Верификация (от лат. verus истинный, facere делать) это подтверждение соответствия конечного продукта предопределённым эталонным… … Википедия
ПОЗИТИВНЫЙ ЭКЗИСТЕНЦИАЛИЗМ — (‘Un positivo esistenzialism’, 1948) работа Аббаньяно. Экзистенциализм трактуется не как ‘философия отчаяния’, сосредоточившаяся на кризисных состояниях человеческого существования, но как ‘позитивная’, дающая возможность человеку осуществить… … История Философии: Энциклопедия
ПОППЕР Карл Раймунд (1902-1994) — британский философ, логик и социолог. До 1937 работал в Вене, с 1946 до середины 1970 х профессор Лондонской школы экономики и политических наук. Автор и представитель школы критического рационализма попытки конструктивного теоретического… … История Философии: Энциклопедия